21. Formal Ontology and Conceptual Realism

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages

22. Future histories :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Philosophy. ; Automation ; Social aspects. ; Digital communications ; Political aspects. ; Technology ; History. ;

23. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

24. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

25. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

26. Induction, Algorithmic Learning Theory, and Philosophy

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Philosophy (General). ; Genetic epistemology. ; Science ; Philosophy. ; Computer science. ; Algorithms. ; Consciousness. ; Philosophy. ; Epistemology. ; Mathematical Logic and Formal Languages. ; Philosophy of Science. ; Algorithms. ; Cognitive Psychology

27. Introduction to formal philosophy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages

رده :
B
808
.
5
.
I56

28. Introduction to formal philosophy /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.

رده :
B808
.
5
.
I58
2018

29. Lagu (1926)-The Zeroth Book of Graph Theory: An Annotated Translation of Les Rseaux (ou Graphes)Andr Sainte

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Philosophy ; & ECONOMICS / Operations Research ; COMPUTERS / Computer Science ; COMPUTERS / Data Science / General ; Mathematics ; MATHEMATICS / Discrete Mathematics ; MATHEMATICS / Graphic Methods ; MATHEMATICS / History &BUSINESS

30. Linked

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : System theory,Science- Philosophy,Computer networks Miscellanea,Social networks Miscellanea,Economics Miscellanea,World Wide Web Miscellanea

رده :
Q295
.
B27
2002

31. Linked

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : System theory,Science- Philosophy,Computer networks Miscellanea,Social networks Miscellanea,Economics Miscellanea,World Wide Web Miscellanea

رده :
Q295
.
B27
2002

32. Linked

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : System theory,Science- Philosophy,Computer networks Miscellanea,Social networks Miscellanea,Economics Miscellanea,World Wide Web Miscellanea

رده :
Q295
.
B27
2002

33. Logical Thinking in the Pyramidal Schema of Concepts

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه

رده :
QA9
.
G325
2013

34. Models, Mindsets, Meta :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Philosophy.,Computer science-- Philosophy.

رده :
QA76
.
167
.
M63
2019

35. New Essays in Free Logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic.,Philosophy (General).,Semantics.

36. Nonbayesian Decision Theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Philosophy (General). ; Science ; Philosophy. ; Computer science. ; Mathematics. ; Economics, Mathematical. ; Philosophy. ; Philosophy of Science. ; Operations Research/Decision Theory. ; Probability and Statistics in Computer Science. ; Game Theory, Econ

37. Omnisophie-Trilogie :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer vision.,Philosophy (General),Science (General)

رده :
BD431
.
G868
2013

38. On computing :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science,Computer science-- Philosophy,Computer science-- Research

رده :
QA76
.
R657
2013

39. Ontology, Epistemology, and Teleology for Modeling and Simulation

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Simulation methods -- Philosophy,Data structures (Computer science),شبیه‌سازی - فلسفه,ساختار داده‌ها(کامپیوتر)

رده :
QA76
.
O59
2013

40. Philosophical Logic and Artificial Intelligence

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic.,Philosophy (General)

رده :
BC71
.
E358
1989